Binding without variables: Solving the under-generation problems

The variable-free semantics of Jacobson (1999, 2000, 2014) derives binding relations by the local application z-rule. This rule, however, under- generates binding. paper makes two contributions: (i) replacing z-rule with a more flexible rule called i (a la W-combinator Szabolcsi 1992), which allows for relations; (ii) enriching Jacobson’s system and proposing two-dimensional analysis to account interactions between scoping Issues be covered include into adjuncts, possessor binding, scope ambiguity, inverse linking, weak crossover, ‘paycheck pronouns’.